$\vdash$  $\forall$$a$:Unit. $a$ = $\cdot$